"Ci sono due modi per programmare del software: uno è di crearlo tato semplice da non lascia spazio ai difetti, l'altro di crearlo tanto complicato da non riuscire a trovarci difetti." Tony Hoare Premio Turing 1980